具有多值约束的线性递归查询的有效计算

本文给出三个算法,分别用于把给定的右线性、左线性或左-右线性递归程序改写为一组更有效的规则.与Ullman等人的变换算法不同,本文的算法允许查询的初始约束可以是含任意多个约束元组的集合,而不必是单值的;这样,本文的算法不仅可以用于查询的求值,而且也可以用于子目标的处理.变换算法的正确性和变换后规则的有效性也在本文简略讨论.     

A new curvature technique calculation for surface tension contribution in PLIC-VOF method

The volume of fluid (VOF) methods have been used for numerous numerical simulations. Among these techniques used to define the moving interface, the piecewise linear interface reconstruction (PLIC-VOF) is one of the most accurate. A study of the superficial tension impact on two-phase flow with free surface is presented. A new method based on direct staggered grid is developped to include surface tension in PLIC-VOF. The new numerical curvature calculation method doesn't need smoothed colour function and leads to less “spurious current”. This technique is applied to the calculus of surface tension force in the case of the rise of air bubble in viscous liquid and the fall of liquid drop in the same liquid on free surface. Droplets, thin layer and capillarity waves are observed after the free surface rupture for different Bond number. The influence of surface tension calculus is then obvioused and when the drop hit the free surface, wavelets propagate toward the virtual boundaries imposed.     

The analysis of solvation in ionic liquids and organic solvents using the Abraham linear free energy relationship

The contentions made in an earlier paper [J Chem Technol Biotechnol 80 : 133–137 (2005)] that the coefficients of the Abraham solvation equation do not provide meaningful information on the molecular properties of ionic liquid solvents is refuted. The objections noted in the earlier paper disappear when the solvation equation model is correctly applied to the experimental data. It is further shown that the coefficients of the Abraham solvation equations can be used to characterize ionic liquids and can be used to select solvents for the solubility of gaseous solutes. Copyright © 2006 Society of Chemical Industry     

High accuracy path tracking for vehicles in presence of sliding: Application to farm vehicle automatic guidance for agricultural tasks

When designing an accurate automated guidance system for vehicles, a major problem is sliding and pseudo-sliding effects. This is especially the case in agricultural applications, where five-centimetre accuracy with respect to the desired trajectory is required, although the vehicles are moving on slippery ground. It has been established that RTK GPS was a very suitable sensor to achieve automated guidance with such high precision: several control laws have been designed for vehicles equipped with this sensor, and provide the expected guidance accuracy as long as the vehicles do not slide. In previous work, further control developments have been proposed to take sliding into account: guidance accuracy in slippery environments has been shown to be preserved, except transiently at the beginning/end of curves. In this paper, the design of this control law is first recalled and discussed. A Model Predictive Control method is then applied in order to preserve accuracy of guidance even during these curvature transitions. Finally, the overall control scheme is implemented, and improvements with respect to previous guidance laws are demonstrated through full-scale experiments.     

HRP-12型负载杂多酸催化剂的失活原因及预防措施

采用XRD、NMR、IR、MS等手段对长链烷基苯合成中失活负载型杂多酸催化剂进行了表征,结果表明,催化剂的失活主要是由于表面结焦引起的,原料中的双烯、烷基芳烃杂质以及反应生成的副产物重烷基苯是引起催化剂结焦的主要原因,对原料进行脱双烯和脱芳烃精制、提高苯烯比以及用苯洗涤催化剂等措施能够有效抑制催化剂的失活。     

水工监测传感器指标使用误区的探讨

本文旨在讨论目前岩土工程中使用的传感器技术指标及其含义，希望通过探讨以弄清楚这些指标的含义及指标对评价传感器的意义。由于传感器是用于测量工程物理量的，因此，引人目前在国际上通用的测量与误差的概念，以国家现有的测量术语的定义为准来描述传感器的指标。     

Decomposition of Time Series Dynamic Linear Models

This paper derives the admissible decompositions for a time series dynamic linear model, assuming only that the model is observable. The decompositions depend on factorizations of the characteristic polynomial of the state evolution matrix G into relatively prime factors. This generalizes the method of West (1997 ) which considers one decomposition in the particular case where G is diagonalizable. Conditions are derived for a decomposition to be independent. These results show that no autoregressive process of order d has an independent decomposition for any integer d . Two illustrations of this procedure are discussed in detail.     

Fixed point theorems on fuzzy normed linear spaces

In this paper, definitions of strongly fuzzy convergent sequence, l-fuzzy weakly convergent sequence and l-fuzzy weakly compact set are given in a fuzzy normed linear space. The concepts of fuzzy normal structure, fuzzy non-expansive mapping, uniformly convex fuzzy normed linear space are introduced and fixed point theorems for fuzzy non-expansive mappings are proved.     

自适应相干噪声衰减技术

去除噪声是必需的地震数据处理过程。由于地表条件和地震波激发、传播以及接收条件等诸多方面的原因，时常引起地震记录上出现各种相干干扰波。本文主要针对地震数据处理中地震剖面上存在的各种相干噪声，提出了时问一空间域自适应相干噪声衰减技术，以进行信噪分离。这种方法把噪声在整个处理平面上的视速度近似看作常量(正值或负值)，可以有效地消除地震剖面上的线性噪声、面波以及多次波等，并且对信号的保真度高。本文方法是复杂地区低信噪比地震数据处理的一种理想的噪声去除方法，具有运算速度快、压制噪声效果好等优点。